// Copyright (C) 2005 Taylor L. Riché <riche@cs.utexas.edu>
//  
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
// 
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
// 
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software 
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
//
// 	$Id: Args.java 283 2005-10-10 20:18:50Z richetl $	
//

class Args
{
    private boolean stubsGiven;
    private String filename;

    public void setFilename(String f) {filename = f;}
    public String getFilename() {return filename;}
    public void switchStubsGiven() {
	if(stubsGiven) {
	    stubsGiven = false;
	}
	else {
	    stubsGiven = true;
	}
    }
    public boolean getStubsGiven() {return stubsGiven;}
    public Args() {
	stubsGiven = false;
	filename = "";
    }
}

